recursive-enumerable language

[网络] 递归可枚举语言